From 17c9bc64551ef4b829735de3786083456ed60941 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Wed, 7 Oct 2015 15:41:06 +0100 Subject: [PATCH] xen/arm: vgic: ctlr stores a 32-bit hardware register so use uint32_t Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/include/asm-arm/domain.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/include/asm-arm/domain.h b/xen/include/asm-arm/domain.h index b89727e9f4..e7e40da898 100644 --- a/xen/include/asm-arm/domain.h +++ b/xen/include/asm-arm/domain.h @@ -91,7 +91,7 @@ struct arch_domain * rank order. */ spinlock_t lock; - int ctlr; + uint32_t ctlr; int nr_spis; /* Number of SPIs */ unsigned long *allocated_irqs; /* bitmap of IRQs allocated */ struct vgic_irq_rank *shared_irqs; -- 2.30.2